package ex1;

import ex1.Count;
import ex1.CountWithBug;

public class EdgeCoverageCases extends NodeCoverageCases{

	/* T1 cover the following edges:
	* (1,2), (2,3), (3,4), (4,6), (6,2), (4,5), (5,7)
	* Missing edges to cover: (5,2), (2,7)
	*/
	
	// Test covers (2,7):
	// (0,1),(1,2),(2,7)

	public void test2() {
		int result = Count.count(new int[]{});
		
		assertEquals(result, 0);
	}

	// Test covers (5,2):
	// (1,2),(2,3),(3,4),(4,5),(5,2),(2,7)
	public void test3() {
		int result = Count.count(new int[]{-6});
				
		assertEquals(result, 0);
	}
	
	public void test2WithBug() {
		int result = CountWithBug.count(new int[]{});
		
		assertEquals(result, 0);
	}



	public void test3WithBug() {
		int result = CountWithBug.count(new int[]{-6});
				
		assertEquals(result, 0);
	}
	
}
